Foundations of Speculative Distributed Computing
نویسنده
چکیده
Speculation is frequent in distributed computing. It is even the norm in distributed algorithms that are designed for practical purposes. Yet, speculation is difficult and it has, so far, led to algorithms that are intricate and hard to reason about, let aside prove and test. The reason is simple: speculation involves different execution paths that are usually intermingled in the same algorithm, adding to the difficulties of concurrency and communication, inherent to generalpurpose distributed computing. This talk suggests the possibility of a principled approach to speculation and, indirectly, of a well-founded approach to the design and implementation of practical distributed algorithms.
منابع مشابه
Speculative Transaction Processing in Geo-Replicated Data Stores
This work presents STR, a geo-distributed, partially replicated transactional data store, which leverages on novel speculative techniques to mask the inter-replica synchronization latency. The theoretical foundations on top of which we built STR is a novel consistency criterion, which we call SPeculative Snapshot Isolation (SPSI). SPSI extends the well-known Snapshot Isolation semantics in an i...
متن کاملIntroduction: The Background to SpecLab At the core of this book are convictions derived from a combination of theoretical investigations into problems of knowledge production and experimental projects
At the core of this book are convictions derived from a combination of theoretical investigations into problems of knowledge production and experimental projects conceived under the general rubric of speculative computing. Speculative computing arose from a productive tension with work in what has come to be known as digital humanities. That field is constituted by work at the intersection of t...
متن کاملKernel Level Speculative DSM
Interprocess communication (IPC) is ubiquitous in today’s computing world. One of the simplest mechanisms for IPC is shared memory. We present a system that enhances the System V IPC API to support distributed shared memory by using speculations. Speculations provide performance improvements by enabling rollback of overly optimistic speculative executions. The paper describes a speculative tota...
متن کاملDistributed Models of Thread Level Speculation
This paper introduces a novel application of thread-level speculation to a distributed heterogeneous environment. We propose and evaluate two speculative models which attempt to reduce some of the method call overhead associated with distributed objects. Thread-level speculation exploits parallelism in code which is not provable free of data dependencies. Our evaluation of applying thread-level...
متن کاملEffect of Speculative Prefetching on Network Load in Distributed Systems
Previous studies in speculative prefetching focus on building and evaluating access models for the purpose of access prediction. This paper, on the other hand, investigates the performance of speculative prefetching. When prefetching is performed speculatively, there is bound to be an increase in the network load. Furthermore, the prefetched items must compete for space with existing cache occu...
متن کامل